1. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
2. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
3. Multiparadigm constraint programming languages
پدیدآورنده : Hofstedt, Petra.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Constraint programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
612
.
H64
2011
4. Multiparadigm constraint programming languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ; Programming languages (Electronic computers) ;
5. Multiparadigm constraint programming languages
پدیدآورنده : Petra Hofstedt
موضوع : Constraint programming (Computer science),Programming languages (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
7. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
8. Parallel Programming with Co-Arrays
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.
رده :
QA76
.
642
.
N867
2019
9. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
